More from this Author

Computational Logic

by Dov M. Gabbay (Editor), Jörg H. Siekmann (Editor), John Woods (Editor), Jörg H. Siekmann (Editor)